Domain Science & Engineering∗ Dines Bjørner DTU Informatics, Techn.Univ.of Denmark , www.imm.dtu.dk/~dibj November 17, 2012: 16:19 1

Source URL: www2.imm.dtu.dk

Improved MEG/EEG source localization with reweighted mixed-norms Daniel Strohmeier∗ , Jens Haueisen∗† , Alexandre Gramfort‡§ ∗ Institute of Biomedical Engineering and Informatics, Technische Universit¨at Ilm

Source URL: dl.dropboxusercontent.com

Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

Source URL: www.isf.cs.tu-bs.de

A Recommender System for Didactical Approaches in Software Engineering Education Michael Koch, Dieter Landes Faculty of Electrical Engineering and Informatics Coburg University of Applied Sciences and Arts Friedrich-Stre

Source URL: ceur-ws.org

How Do Scientists Develop and Use Scientific Software? Jo Erskine Hannay Dept. of Software Engineering Simula Research Laboratory Dept. of Informatics, Univ. of Oslo

Source URL: software-carpentry.org

EXECUTIVE COMMITTEE BOURNS COLLEGE OF ENGINEERING REPORT TO THE RIVERSIDE DIVISION MAY 24, 2016 Proposed Changes to Business Informatics Undergraduate Program

Source URL: senate.ucr.edu

Academic offer Study area: 11 – Mathematics, informatics Universitatea Tehnica din Cluj-Napoca (TUCN) Computer engineering Institution

Source URL: www.caribu.be

Thresholds of Random k-Sat (2002; Kaporis, Kirousis, Lalas) A. C. Kaporis, Department of Computer Engineering and Informatics, University of Patras http://students.ceid.upatras.gr/˜kaporis L. M. Kirousis, Department of

Source URL: students.ceid.upatras.gr

BOCHUM APRILwww.centocento.it

Source URL: www.ihe-d.de

• Health informatics
• Interoperability
• Product testing
• Telecommunications engineering
• Integrating the Healthcare Enterprise